In graph theory, total coloring is a type of coloring on the vertices and edges of a graph. When used without any qualification, a total coloring is always assumed to be proper in the sense that no adjacent vertices, no adjacent edges, and no edge and its endvertices are assigned the same color. The total chromatic number χ″(G) a graph G is the least number of colors needed in any total coloring of G.
The total graph T = T(G) of a graph G is a graph such that (i) the vertex set of T corresponds to the vertices and edges of G and (ii) two vertices are adjacent in T if and only if their corresponding elements are either adjacent or incident in G. Then total coloring becomes a (proper) vertex coloring of the total graph.
Some properties of χ″(G):
Here Δ(G) is the maximum degree; and ch′(G), the edge choosability.
Total coloring arises naturally since it is simply a mixture of vertex and edge colorings. The next step is to look for any Brooks-typed or Vizing-typed upper bound on the total chromatic number in terms of maximum degree. It turns out that the total coloring version of maximum degree upper bound is a difficult problem and has eluded mathematicians for 40 years. The most well-known speculation is the following.
Total coloring conjecture. (Behzad, Vizing)
Apparently, the term "total coloring" and the statement of total coloring conjecture were independently introduced by Behzad and Vizing in numerous occasions between 1964 and 1968. See [Jensen, Toft 1995] for details. The conjecture is known to hold for a few important classes of graphs, such as all bipartite graphs and most planar graphs except those with maximum degree 6. The planar case can be completed if Vizing's planar graph conjecture is true. Also, if the list coloring conjecture is true, then χ″(G) ≤ Δ(G) + 3.
Results related to total coloring have been obtained. For example, Kilakos and Reed (1993) proved that the fractional chromatic number of the total graph of a graph G is at most Δ(G) + 2.
Some properties of the line graph and the total graph:
T = T(G) is Eulerian if and only if the line graph L(G) is Eulerian.